A Formal Framework for Secure Routing Protocols Chen Chen1 Limin Jia2 Hao Xu1 Cheng Luo1 Wenchao Zhou3 Boon Thau Loo1 1 3

Source URL: www.andrew.cmu.edu

• Routing protocols
• Internet protocols
• Internet standards
• Formal methods
• Logic in computer science
• Communications protocol
• Border Gateway Protocol
• Formal verification
• Protocol composition logic
• Computing
• Internet
• Data

  Maintaining Relational Consistency in a Graph-Based Place Database Hao Chen, Maria Vasardani and Stephan Winter Abstract

Source URL: s3-ap-southeast-2.amazonaws.com

Model Checking One Million Lines of C Code∗ Hao Chen Drew Dean David Wagner UC Berkeley SRI International

Source URL: www.isoc.org

• Chroot
• User identifier
• Setuid
• Privilege separation
• Secure Shell
• Principle of least privilege
• OpenSSH
• Group identifier
• Filesystem permissions
• Unix
• System software
• Software

Setuid Demystified∗ Hao Chen David Wagner University of California at Berkeley {hchen,daw}@cs.berkeley.edu

Source URL: www.cs.umd.edu

• System software
• User identifier
• Group identifier
• Setuid
• Filesystem permissions
• Principle of least privilege
• Privilege separation
• Linux kernel
• System call
• Unix
• Software
• Computing

A Quick Guide for the pbdMPI Package (Ver[removed]Wei-Chen Chen1 , George Ostrouchov2,3 , Drew Schmidt3 , Pragneshkumar Patel3 , Hao Yu4

Source URL: cran.r-project.org

• Parallel computing
• Application programming interfaces
• SPMD
• Open MPI
• MPICH
• Lis
• OpenMP
• Collective operation
• Message Passing Interface
• Computing
• Software
• Computer programming

Carnegie Mellon University TRECVID Automatic and Interactive Search Mike Christel, Alex Hauptmann, Howard Wactlar, Rong Yan, Jun Yang, Bob Baron, Bryan Maher, Ming-Yu Chen, Wei-Hao Lin Carnegie Mellon University Pittsbur

Source URL: www-nlpir.nist.gov

• TRECVID
• Language Technologies Institute
• Carnegie Mellon Silicon Valley
• Academia
• Higher education
• Allegheny County
• Pennsylvania
• Carnegie Mellon University
• Alex Hauptmann
• Computational linguistics

In-situ determination of astro-comb calibrator lines to better than 10 cm s−1 Chih-Hao Li,1,2 Alex Glenday,1,2 Andrew Benedick,3 Guoqing Noah Chang,3 Li-Jin Chen,3 Claire Cramer,1 Peter Fendel,3,4 Gabor Furesz,2 Franz

Source URL: walsworth.physics.harvard.edu

• Laser science
• Spectroscopy
• Electronic test equipment
• Frequency comb
• Electromagnetic radiation
• Astro-comb
• Fabry–Pérot interferometer
• Mode-locking
• Free spectral range
• Physics
• Optics
• Science

Microsoft Word - YIN CHEN HAO

Source URL: www.herbalpedia.com

• Chinese herbology
• Liver
• Tree
• Meridian
• Chen Hao
• Gallbladder
• Traditional Chinese medicine
• Alternative medicine
• Medicine

Model Checking An Entire Linux Distribution for Security Violations Benjamin Schwarz Hao Chen David Wagner {bschwarz, hchen, daw}@cs.berkeley.edu Geoff Morrison

Source URL: www.cs.berkeley.edu

• Software bugs
• Time of check to time of use
• File system
• File locking
• File descriptor
• Malware
• Rm
• Off-by-one error
• Setuid
• Computing
• Unix
• Software

Integrating MBE materials with graphene to induce novel spin-based phenomena Adrian G. Swartz, Kathleen M. McCreary, Wei Han, Jared J. I. Wong, Patrick M. Odenthal, Hua Wen, Jen-Ru Chen, Roland K. Kawakami, Yufeng Hao, R

Source URL: bucky-central.me.utexas.edu

• Quantum phases
• Emerging technologies
• Graphene
• Nanomaterials
• Spintronics
• Graphite oxide
• Paramagnetism
• Exchange bias
• Quantum Hall effect
• Physics
• Condensed matter physics
• Materials science